Formal Techniques for Synchronized Fault-tolerant Systems 1
نویسنده
چکیده
We present the formal veriication of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speciied and veriied using the Ehdm veriication system. Our formaliza-tion is based on an extended state machine model incorporating snapshots of local processors' clocks.
منابع مشابه
Formal Techniques for Synchronized Fault - Tolerant Systems
We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our f...
متن کاملAn approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کاملSecurity and fault tolerance pdf
Process groups are a common abstraction for fault-tolerant computing in distributed systems. We present a security architecture that extends.Abstract Concerns about both security and fault-tolerance have had an important. Tion of fault tolerance will face some of the same problems, and benefit from. The security testing prototype is.A Secure and Fault-tolerant framework for Mobile. Of Computer ...
متن کاملA Formal Description of FTAG for Multi-Processor Systems
FTAG is a functional model for writing fault-tolerant software that is based on attribute grammars. With this approach, a program is written as a series of module decompositions,with provisions for redoing and replicatingmodules used to implement fault-tolerance requirements. The functional nature of the model and the independence of decompositions makes FTAG especially well-suited for implemen...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کامل